Incompleteness of Lp languages

Object Incompleteness and Dynamic Composition in Java-Like Languages

Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of objects dynamically. In this paper we present Incomplete Featherweight Java (IFJ), an extension of Featherweight Java to incomplete objects, i.e., objects that require some missing methods which can be provided at run-...

Topological Incompleteness and Order Incompleteness of the Lambda Calculus

A model of the untyped lambda calculus induces a lambda theory, i.e., a congruence relation on -terms closed under and -conversion. A semantics (= class of models) of the lambda calculus is incomplete if there exists a lambda theory which is not induced by any model in the semantics. In this paper we introduce a new technique to prove the incompleteness of a wide range of lambda calculus semant...

Aspects of Incompleteness

Incompleteness Shocks∗

This paper studies the effects of shocks to the degree of market completeness. We present a dynamic stochastic economy where agents can trade in complete markets in normal times, but where financial markets can stochastically become incomplete. When this happens, agents cannot trade in state contingent assets and cannot re-hedge their risks. Our model formalizes a new type of purely financial s...

Incompleteness of Behavioral Logics

Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not recursively enumerable, which means that there are no automatic methods for proving all true statements; in particular, behavioral logics do not admit complete deduction systems. This holds for all of the behavioral log...